Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
961	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
962	Express Yourself! Regular Expressions vs SAS Text String Functions Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2014-05-28 21:45:54 Pattern matching Regular expressions String Automata theory TRE SAS Comparison of programming languages Tac Delimiter Computing Software engineering Computer programming
963	Statistical Machine Translation with Cascaded Probabilistic Transducers Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Linguistics Science Computational linguistics Speech recognition Finite state transducer Statistical machine translation Finite-state machine Translation memory Bitext word alignment Automata theory Models of computation Machine translation
964	Microsoft Word - uts18.doc Add to Reading List Source URL: www.unicode.org Language: English - Date: 2011-01-31 19:10:32 Pattern matching Regular expressions Automata theory Conditional UTF-8 Fold Computing Computer programming Software engineering
965	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-05-16 07:14:52 Models of computation Computability theory Turing machine Automata theory Computable function Computability Computational complexity theory Oracle machine Finite-state machine Theoretical computer science Theory of computation Mathematics
966	A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-07-13 22:02:23 Theoretical computer science Computer science Finite-state machine Cellular automata Algorithm Learning automata Büchi automaton Automata theory Models of computation Applied mathematics
967	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-25 08:37:28 Formal languages Pattern matching Regular expressions Automata theory Encoding Control Notation Abstract Syntax Notation One Basic Encoding Rules XML X.690 Computing OSI protocols Software engineering
968	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-31 13:13:10 Concurrency Diagrams Petri net Clock Applied mathematics Automata theory Models of computation Computer science
969	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-04 10:49:43 Algebraic number theory Q-analogs Number theory Mathematics Combinatorics Automata theory
970	HOW TO REPORT CHANGES IN YOUR CASE Add to Reading List Source URL: www.dhhs.state.nh.us Language: English - Date: 2012-04-19 13:24:08 Automata theory Theory of computation Design

UPDATE